Su búsqueda retornó 5 resultados. Suscribirse a esta búsqueda

¿No encontró lo que esperaba? Pruebe buscando sugerencias
De-resaltar Resaltar
|
No hay imagen de cubierta disponible
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.).

por Aichernig, Bernhard K, 1969- | Maibaum, Thomas S E, 1947- | International Institute for Software Technology.

Editor: Berlin ; Springer-Verlag, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.1 FOR.
Listas:
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures Ana Bove ... [et al.] (eds.).

por LerNet ALFA Summer School Piriapolis, Uruguay) (2008 | Bove, Ana.

Editor: Berlin ; Springer, c2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.13 LAN.
Listas:
CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings Roberto Amadio, Denis Lugiez, eds.

por CONCUR 2003 Marseille, France) (2003 | Amadio, Roberto M | Lugiez, Denis.

Editor: Berlin ; Springer, c2003Otro título: CONCUR 2003..Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 004.35 CON.
Listas:
ECOOP 2002-object-oriented programming : 16th European Conference, Málaga, Spain, June 10-14, 2002 : proceedings / Boris Magnusson (ed.).

por ECOOP (Conferencia) (16 : 2002 : Málaga, España) | Magnusson, Boris [ed.].

Editor: Berlin ; New York : Springer, c2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.117 ECO.
ECOOP 2003 - Object-oriented programmings : 17th European conference, Darmstadt, Germany, july 2003 Proceedings / Luca Cardelli (Ed.)

por ECOOP (Conferencia) (17 : 2003 : Darmstadt, Alemania) | Cardelli, Luca [ed.].

Editor: Berlín : Springer, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.117 ECO.
Biblioteca Laura Manzo. Universidad Nacional de Quilmes.
Roque Sáenz Peña 352 Bernal - B1876BXD - Bs. As.
Tel:+ 54 11 4365-7130. biblioteca@unq.edu.ar
Horario de Atención: Lunes a viernes de: 8:30 a 21:30 hs. Sábados de 8:15 a 15 hs.

Con tecnología Koha